<?php

  echo 0123;
